weakest precondition - Almanca İngilizce Sözlük